https://9dok.net/document/q2n7xldj-lemma-sei-a-u-kontrahierbar-mit-zentrum-a.html