nekomata_saren@tg says to YSITD 那樣的話，proof by contradiction 已知x = y，假設f(x) != f(y) 設x = y = 1，則f(x) = f(1) = 2 = f(y)，矛盾發生