theorem :: XPRIMES1:4248

canceled;