Inradius of Pythagorean Triangle is Integer

Theorem
Let $\triangle ABC$ be a Pythagorean triangle.

Let $r$ be the inradius of $\triangle ABC$.

Then $r$ is an integer.