Tekst zadatka namerno ne prikazujemo jer želimo da podržimo izdavača Krugove zbirke. Možeš pronaći tekst zadatka u zbirci.
Neka se dve među sobom upravne ravni i seku po pravoj Dokazati da je svaka prava ravni koja je upravna na pravoj upravna i na ravni
Neka je prava ravni upravna na i neka je tačka u kojoj seče (u ravni prava normalna na seče ). U ravni povucimo kroz pravu normalnu na
Košijeva teorema: ako prava prodire ravan u tački i pri tome je upravna na dvema raznim pravim i te ravni koje sadrže tačku tada je Prava je normalna na i u tački a ne leži u ravni (inače bi i bile dve normale na u istoj tački iste ravni). Zato je
Nagibni ugao diedra je ugao po kome neka ravan upravna na ivici diedra seče taj diedar. Ravan je upravna na ivici i seče strane diedra po pravama i pa je ugao između njih nagibni ugao. Kako je taj ugao je prav:
Prava prodire ravan u tački (ne leži u jer ) i normalna je na dve različite prave i te ravni kroz Po Košijevoj teoremi je što je trebalo dokazati.