theorem :: XPRIMES2:7930

canceled;