theorem :: XPRIMES1:1727

canceled;