theorem :: XPRIMES1:3267

canceled;