theorem :: XPRIMES1:1974

canceled;