Húzzuk meg az ABCD tetraéder CD él körüli lapszögének a szögfelező síkját. Messe ez AB-t E-ben. Mutassuk meg, hogy: AE:BE=tACDΔ:tBCDΔ.