theorem :: XPRIMES1:31

31 is prime