theorem :: XPRIMES1:2498

canceled;