theorem :: XPRIMES1:5725

canceled;