theorem :: XPRIMES0:489

not 489 is prime