theorem :: XPRIMES1:192

canceled;