We need not care whether they could prove the forty-seventh proposition; they do a better thing than that, they practically demonstrate the great Theorem of the Liveableness of Life.

我们不必在意他们能否证明第四十七号命题；他们做着更好的事，以自身实际证明了那条伟大的定理：生活值得一过。