>>107
先生、これはどこがまずいんですか？
∀x(f(x)＝y)、f(x)∈Yはほぼ自明に成り立っていると思うのですが。