>>706
ありがとうございます！
でもその上の証明だとｆが定値写像の時は３から１を満たすと思うのですが
あらゆる写像ｆについて証明したことにならないと思うのですがこの方法
で証明できたことになるのですか？
>>714
ありがとうございます！
だいぶ考えたんですがなんとか理解できました