[STATEMENT]
lemma Unassigned_not_to_Member: "\<not> allowed_subnet_flow Unassigned Member"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. \<not> allowed_subnet_flow Unassigned Member
[PROOF STEP]
by(simp)