theorem :: XPRIMES1:383

383 is prime