במשפט פיתגורס הגיוני שהשורש יצא מינוס?