theorem :: XPRIMES1:2940

canceled;