theorem :: XPRIMES1:1907

1907 is prime