BROTT: "Aristoteles har nu skrivit majoriteten av de offentliga formaliserade lösningarna på ." — Boris Alexeev, matematiker