То что нужно доказать....ход мыслей может,наверное,также сюда входить....любая теорема состоит из условия-то что нам дано и в конце так называемое заключение где находится то что и следует доказать