Список проголосовавших за комментарий "robomakerr, само собой<br/> <br/> Но некоторые ограничения (в формате теорем) все же можно получить.<br/> И (если доказательство было верным) они будут работать для всех<br/> <br/> С уважением"