Li-Fan Chen
says to
YSITD
得證 Internet 在 of 運算下具有冪等性