theorem :: XPRIMES0:1547

not 1547 is prime