Proving the fundamental theorem of arithmetic in Agda | Hacker News Reader