User blog comment:Edwin Shade/Understanding The Infinite/@comment-25601061-20171109021425

Isn't (ω+3)*ω = ω2?