Leko says to YSITD
兩種定義方式等價