030 - משפט פיתגורס, מציאת ניצב לפי יתר וניצב