Teorema del coseno (demostración)