Bizonyítandó, hogy a G gömb legnagyobb köreinek (főköreinek) a sztereografikus képe is kör, ha a főkör nem megy át az E ponton.