theorem :: XPRIMES0:544

not 544 is prime