theorem :: XPRIMES1:1901

1901 is prime