theorem :: XPRIMES0:774

not 774 is prime