theorem :: XPRIMES2:1495

canceled;