שימוש במשפט דמיון שלישי, הוכחת דמיון משולשים