Да нет, это не доказательство, а не более чем возможный повод к более глубокому изучению вопроса -- и то лишь при большом желании оправдать свои обиды.
Я безусловно рад, что ты нашел таки повод к более глубокому изучению современного состояния компиляторостроения. А то, что у тебя есть желание оправдать свои обиды (видимо на мейнстрим?), для меня новость.
А вот тот факт, что Вы назвали это "доказательством", -- сам по себе есть доказательство того, что Вы не понимаете, что такое доказательство.
Термин "доказательство" вообще весьма расплывчат. То, что являлось доказательством 3-4 тысячи лет назад, то сейчас таковым доказательством может и не являться. Впрочем, наверно все же ты прав. Доказательсво это обычно таки действие/процесс, а это просто факт свидетельствующий в пользу определенной гипотезы.
Впрочем, все что написано выше слабо относится к тематике рассматриваемого в данном топике вопроса.