で、全射なfがあることはどう証明するの?