div(i, 1) == i
