theorem :: XPRIMES0:784

not 784 is prime