전사함수의 우역함수의 존재성 (닫힌 토론)