Correct.

Fill in 5, 12, and 13 for the numerators, and substitute the given side length of in the denominator to find the other side lengths.