theorem :: XPRIMES2:6720

canceled;