theorem :: XPRIMES2:9940

canceled;