Tiberium, вольфрам - это же какой-то математический язык программирования? Нет, меня не интересует выведенное компом доказательство, меня интересует выведенное человеком.