HM.LMIR.6.5: Prove that under the hypothesis of the acute angle, similarity implies congruence.