theorem :: XPRIMES2:676

canceled;