theorem :: XPRIMES1:103

103 is prime