demostrando la existencia del ortocentro