Un triángulo tiene lados de longitudes 7, 24 y 25. ¿Es un triángulo rectángulo?