theorem :: NAT_4:27

11 is prime