theorem Th31: :: NAT_4:31

37 is prime