[STATEMENT]
lemma exposed_face_of_refl: "convex S \<Longrightarrow> S exposed_face_of S"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. convex S \<Longrightarrow> S exposed_face_of S
[PROOF STEP]
by simp