Illustrationen zu starker Konvexität, Vorbereitungslemma zum Theorem über Trennung durch Zylinder, Anfang des Beweises des Theorems