theorem :: XPRIMES0:565

not 565 is prime