格(2) 随笔(2) proof(1) 犯病(1) 代数(2)