theorem :: XPRIMES0:567

not 567 is prime