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