>>77
真部分集合と全体の大きさが等しいということ自体が
既に矛盾だと思うのだが。