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

Chronolegends: Actually, \((\omega+3)n=\omega n +3\). We don't have right distributivity (but we do have left distributivity, so e.g. \(n(\omega+3)=n\omega+n\cdot 3\)).