theorem :: XPRIMES1:479

479 is prime