How does similarity guarantee proportional sides in right triangles with a common acute angle?