Пожалуйста, не используйте термин "доказано" для этой проблемы, которой уже не одна тысяча лет.
Мне, привыкшему к математически строгим доказательствам, оно режет слух. :)

И я не хочу с вами...