Aops的課程的寫作題，大部分就是證明題。沒必要額外加練

這是達標USAMO後才需要考慮的事情。