Nech je daný uhol AVB. Množina všetkých stredov kružníc v rovine, ktoré sa dotýkajú ramien VA, VB uhla AVB a ležia v danom uhle, je os uhla AVB.