Leko
says to
YSITD
可是左邊散度定理不知道為什麼是兩倍