한쪽방향은 당연히 성립하는거 알고있죠? 나머지 한쪽방향만 생각해보세여 - dc App
f(x1) = f(x2) 인 x1, x2 in X (x1!=x2) 가 존재한다 가정후 A={x1}을 넣으면 모순
한쪽방향은 당연히 성립하는거 알고있죠? 나머지 한쪽방향만 생각해보세여 - dc App
f(x1) = f(x2) 인 x1, x2 in X (x1!=x2) 가 존재한다 가정후 A={x1}을 넣으면 모순