text: Как правило, доказательство методом исчерпывания вариантов, состоит из двух этапов: установления всех возможных частных случаев, и доказательства, что других частных случаев нет, доказательство каждого частного случая.