전사함수의 우역함수의 존재성 (합의된 토론)