theorem :: XPRIMES1:940

canceled;