Iptables_Semantics.Common_Primitive_Lemmas