theorem :: XPRIMES2:677

canceled;