与えられた BDCBDCBDC は直角なので BC2=BD2+CD2BC^2=BD^2+CD^2BC2=BD2+CD2。先の等式と比較して CE2=DE2+CD2CE^2=DE^2+CD^2CE2=DE2+CD2、従って CDECDECDE は直角である。CDBCDBCDB も直角なので、CDCDCD は平面 DAB 内の交わる2直線 DBDBDB、DEDEDE に垂直であり、CD⊥CD\perpCD⊥ 平面 DAB、従って CDACDACDA は直角である。同様に ADBADBADB も直角となる。