http://wikis.zum.de/geowiki/Mittelpunkt_einer_Strecke_und_Axiom_vom_Lineal_SoSe_12#Der_Existenzbeweis