File:Intercept_theorem_proof2.svg loading ...