theorem :: XPRIMES0:789

not 789 is prime