theorem :: XPRIMES0:1415

not 1415 is prime