theorem :: XPRIMES1:1672

canceled;