Всякая теорема состоит из нескольких частей:
условия и заключения.
условия, заключения и доказательства.
условия и доказательства.
того, что дано; того, что требуется доказать, и доказательства.