theorem :: XPRIMES0:1624

not 1624 is prime