nekomata_saren@tg
says to
YSITD
不然f(x) = f(x)也不一定成立