Satz von Mazur (Konvexität in separablen Banachräumen)