theorem :: XPRIMES2:1340

canceled;