theorem :: XPRIMES0:495

not 495 is prime