What is the simplest radical form of the square root of 80?

I think: $4 \sqrt{5}$
$\sqrt{80} = \sqrt{8 \cdot 10} = \sqrt{4 \cdot 2 \cdot 5 \cdot 2} = \sqrt{16 \cdot 5} = 4 \sqrt{5}$