theorem :: XPRIMES0:1792

not 1792 is prime