theorem :: XPRIMES2:495

canceled;