Najdeš si v rovině \( EDD‘ \) úsečku, která je kolmá na rovinu horní podstavy. Její kolmost na podstavu dokážeš tak, že z podstavy vybereš dvě \( EDD‘ \) na rovinu horní podstavy.
úsečky, které jsou na vybranou úsečku kolmé. Tím se našla přímka v rovině \( EDD‘ \), kolmá na rovinu horní podstavy, a proto jsou roviny kolmé.