Yeah it turns out that this triangle is a Pythagorean triple. Math nerds might recognize it off the top of their heads. I didn’t though, I only know 3, 4, 5

https://en.wikipedia.org/wiki/Pythagorean_triple