theorem :: XPRIMES0:1496

not 1496 is prime