User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-35470197-20191027084415/@comment-44130370-20191028023826

If n=0 in rule 3, it maps down to the identity rule: w^0 = 1, so map(1*m) = map(m), or map(m) = map(m), which is obviously true and does not further the evaluation.