Пруфы чего? Логического умозаключения? Они в этой ветке комментов...