theorem :: XPRIMES1:419

419 is prime