theorem :: XPRIMES1:37

37 is prime