Bewijs eigenschap middelloodlijn