theorem :: XPRIMES1:3492

canceled;