Ha megállapodunk abban, hogy két egymást metsző kör hajlásszögén a metszéspontjaikba húzott érintőinek hajlásszögét értjük, akkor bebizonyítottuk azt a tételt, hogy az alapkörtől különböző invariáns körök merőlegesen metszik az alapkört. A megfordítás bizonyítása az előzőek alapján már triviálisnak mondható,
Ezek után kimondható a tétel, hogy egy alapkörtől különböző kör akkor és csak akkor invariáns, ha merőlegesen metszi az alapkört. (2)
Vizsgáljunk most egy tetszőleges, az alapkör pólusára illeszkedő (pólustól megfosztott) kört!
Már csak annak vizsgálata van hátra, hogy a pólusra nem illeszkedő, nem invariáns köröknek mi a képe.