i == div(1, i)
