theorem :: XPRIMES0:792

not 792 is prime