theorem :: XPRIMES2:7720

canceled;