File:Intercept_theorem_proof_2.svg loading ...