けんき says to YSITD
就是透過以上的符合邏輯的推演,我們有理由認為當c=1時,最上面的等式會成立