File:Intercept_Theorem_-_proof_3.svg loading ...