Allen Chou
says to
YSITD
我是覺得他已經有點像是必然成立的定理了（？