theorem :: XPRIMES0:1558

not 1558 is prime