>>407

n ∩2^n = n

じゃないですか?