哇。非常好，做得很好。 我很好奇这些工具将如何推动年轻数学家和数学的发展。 学习数学过程中必要的痛苦之一是痛苦地反思一个你可能永远无法解决的证明，但这个练习对发展结构和直觉是有益的。