theorem :: XPRIMES1:1180

canceled;