theorem :: XPRIMES2:720

canceled;