>step1,2から、∀n∈ωに対しn∈2^ω∩ω
>よって2^ω∩ω=ω
ここ、行間を埋めるなら
step1,2から、∀n∈ωに対しn∈2^ω∩ω　∴ω⊂2^ω∩ω
一方、2^ω∩ω⊂ω　であるから結局　2^ω∩ω=ω

行間は埋めだすとキリが無い。