theorem :: XPRIMES1:3725

canceled;