theorem :: XPRIMES0:1573

not 1573 is prime