It also appears to be true that, for integer a in $$[1, N+1]$$
$(N a) \text{div} (N+1) + (N a) \text{mod} (N + 1) = N.$