theorem :: XPRIMES2:9720

canceled;