öklid bağıntısı ispat3