theorem :: XPRIMES1:492

canceled;