theorem :: XPRIMES1:4192

canceled;