>>73
fをかけないと(4)が満たされない