Contrapositive and Contradiction · Challenge problem

In every right triangle with integer sides $a, b, c$ ($a^2 + b^2 = c^2$), what is the largest integer that always divides the product of the legs $ab$?