/Sandbox △ A E B ≡ △ A E D { ∢ A E D ≡ ∢ A E V A E = A E A B = A D {\displaystyle \triangle AEB\equiv \triangle AED\left\{{\begin{array}{rcl}\sphericalangle AED&\equiv &\sphericalangle AEV\\AE&=&AE\\AB&=&AD\end{array}}\right.}