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