: 즉, 남자분이 x라고 놓고.... 여자분이 y.....
: x in 정의역, y in 공역.
: 연인을 만들어주는 정체불명의 함수 lovemaker(이건 만화제목이잖아)가
: 있다고 가정하겠습니다. ^^

: 이 함수는 하나의 x에 대해 오직 하나의 y가 존재하며
: 역함수가 존재할 수 있습니다. ^^;;;;;

lovemaker의 역함수가 존재한다는 이야기는
X,Y가 lovemaker에 의해 일대일 대응 된다는 이야기 인데..
solo=lovemaker(x) 를 만족하는 x는 유일하지 않으므로
가정은 모순이 됩니다.