高微上身

代數導論第一次小考，第一題要我們證明一個 finite set S 和 set of natural numbers 的 cartesian product 是 countable。本來我很簡單地寫出 bijection 並畫張示意圖就覺得很夠了，結果剩沒太多時間的時候突然有人問助教需不需要證明，助教說要，這就讓我手忙腳亂了一下。結局是兩年前的高微記憶復甦，湊了個三角不等式把 injection 解決掉，surjection 就沒時間寫了 XD。

--
最後寫了「除一除再調一下」之類的話 XD。