theorem :: XPRIMES1:1495

canceled;