theorem :: XPRIMES1:1725

canceled;