熊本 肥野 says to YSITD
（不是嚴格的論證）
at Sun, Mar 1, 2020 2:34 AM