How does side proportionality follow from similarity?