theorem :: XPRIMES0:1455

not 1455 is prime