L>0 이라고 하자.

그리고 길이가 L인 simple closed plane curve의 넓이 A를 모두 모아놓은 집합 S를 생각하면

S와 실수집합 사이에 전단사가 존재할텐데 이거 어케 증명하지



물론 L^ >= 4piA 인거 알긴 하는데 어차피 (0,L^2/4pi]와 R 사이에 전단사 있는거 아니까 상관없음