theorem :: XPRIMES2:9010

canceled;