Hyperbola Focus Proof