>- это одно. Доказательство теоремы - это другое. Я хочу посмотреть на доказательство, а не на утверждение, что что-то было доказано. Так яснее?
Да, яснее. Но это не имеет отношение к Monco.
Хотите посмотреть - идите и смотрите. Не нравится - опровергайте. Никто не обязан выдавать доказательства (которые могут занимать сотни и тысячи страниц) по первому требованию каждого препроцессора.