theorem :: XPRIMES2:2495

canceled;