[STATEMENT]
lemma extreme_point_of_empty [simp]: "\<not> (x extreme_point_of {})"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. \<not> x extreme_point_of {}
[PROOF STEP]
by (simp add: extreme_point_of_def)