The Corollary 8.4 on convex sets should specify that “if every non-trivial straight line that intersects the interior of $\Omega$ intersects $\partial\Omega$ at two points at most”.
Solutions
PS3: Bottom of the first page $\partial \phi$ should be $\nabla \phi$