Indeed, as an interesting aside it's a 3-4-5 triangle.

25^2 - 20^2 = 15^2