theorem :: XPRIMES1:1940

canceled;