Najdeš si v rovině \( DCC‘ \) přímku, která je kolmá na rovinu \( E’F’B‘ \). Její kolmost na rovinu \( E’F’B‘ \) 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ě \( DCC‘ \), kolmá na rovinu \( E’F’B‘ \), a proto jsou roviny kolmé.