theorem :: XPRIMES2:7940

canceled;