theorem :: XPRIMES2:1720

canceled;