nekomata_saren@tg says to YSITD
假設f(x) != f(y,然後得出矛盾