theorem :: XPRIMES0:644

not 644 is prime