전사함수의 우역함수의 존재성 (토론 목록)