theorem :: XPRIMES0:788

not 788 is prime