theorem :: XPRIMES2:2720

canceled;