∠ABD = π/2 — ∠BAD = ∠ACB.
Следовательно, ∠ABD = ∠CBP и
∠DBE = ∠ABE — ∠ABD = ∠CBE — ∠CBF = ∠FBE,
что и требовалось доказать.