寫程式就是寫演算法，寫演算法就是寫邏輯，
邏輯要好，最簡單粗爆就是寫證明題。
不開玩笑，
小學生，就好好學建構式數學，這也是證明的一種，
台灣大人做法，就是喜歡叫小朋友背九九乘法表，
扼殺了小孩子怎麼證明。
共勉之。