哇。非常好，做得很好。 我很好奇這些工具將如何推動年輕數學家和數學。 學習數學過程中必要的痛苦之一是痛苦地反思你可能永遠無法解決的證明，但這個練習對於發展結構和直覺是有益的。