>>469
その順序交換は
f が定数でも自明ではないのですか