Claim: A가 무한집합일 때 |A^A|=|P(A)|이다.
A^A=A에서 A로 가는 함수들의 집합

인데 일대일대응 만들기는 너무 어렵고, 베른슈타인 정리 쓰자니 A^A서 P(A)로 가는 단사 만들기가 어렵고 ㅠㅠ