Notam cu O proiectia A pe (BCD) unde {O}=[ED] intersectat [BF]. Deoarece AO⊥OF⇒OF⊥AO (1) ; AO⊥OD⇒OD⊥AO (2) si AO=(AED) intersectat (AFB) ⇒
∡(FOD) este unghiul plan corespunzator diedrului format de (AOF) si (AOD)
deci m∡((AED);(AFB))=m∡((AOD);(AOF))=m∡(FOD)=60°