theorem :: XPRIMES0:1645

not 1645 is prime