>>290
fが単射