File:Arbelos_proof2.svg loading ...