Posplošitev Pitagorovega izreka