С колокольни дилетанта могу сказать, что одну теорему здесь удалось потвердить практикой - "длительность доказательства = длительности постановки задачи"!!!
Русскоязычная версия для печати о 7 "милионерах" занимает 1 страницу, равно как и статья с доказательством!
Восхищен!