theorem :: XPRIMES0:645

not 645 is prime