集合の濃度とかで変な証明ごっこしてるのはセンスがない。