theorem :: XPRIMES0:536

not 536 is prime