Aops的课程的写作题，大部分就是证明题。没必要额外加练

这是达标USAMO后才需要考虑的事情。