theorem :: XPRIMES1:725

canceled;