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