theorem :: XPRIMES0:1572

not 1572 is prime