theorem :: XPRIMES2:758

canceled;