theorem :: XPRIMES0:1461

not 1461 is prime