Kolmion sivujen keskinormaalit

Totea piirtämällä GeoGebra –ohjelmalla, että
Kolmion sivujen keskinormaalit leikkaavat toisensa pisteessä, joka on kolmion ympäri piirretyn ympyrän keskipiste.

(vihje: tarvittavat työkalut ovat: monikulmio, janan keskinormaali, leikkauspiste, ympyrä)

Miten edellä mainittu väite todistetaan?