Proof MML zijn Hoogtelijnen in de kleine driehoek