„(∃x):xn + a1xⁿ⁻¹ + … an = 0” Wenn ich das nicht extensiv auffasse, was sagt es? (Ein mathematischer Satz sagt immer das, was sein Beweis beweist. D.h. er sagt nie mehr, als sein Beweis beweist.)