theorem :: XPRIMES1:1192

canceled;