theorem :: XPRIMES1:2495

canceled;