External Point to Circle (Proof)