theorem :: XPRIMES1:919

919 is prime