Considerăm dreapta [tex]AB[/tex] perpendiculară pe un plan [tex]\alpha[/tex], [tex]B\in\alpha[/tex].

Pe o dreaptă [tex]d\in \alpha[/tex] considerăm punctele [tex]C, D[/tex] astfel încât măsurile unghiurilor [tex]m(ACB)=m(ADB)[/tex].

Demonstrați că măsura unghiului diedru format de planul [tex]\alpha[/tex] cu planul [tex](ACD)[/tex] [tex]\ \textgreater \ m(ADB)[/tex].