теорема пифагора формулировка