theorem :: XPRIMES2:642

canceled;