יש איזה משפט עם חוציי זוויות הבסיס במשולש, איך קוראים לו ואיך מוכיחים אותו?