theorem :: XPRIMES1:708

canceled;