.

Now in triangles E B T and A E T, as

e b

is parallel to E B and

e f

to A E;—

e b

e f

∷ E B ∶ A E[eqn x].