theorem :: XPRIMES2:7947

canceled;