theorem :: XPRIMES0:573

not 573 is prime