theorem :: XPRIMES0:1788

not 1788 is prime