Sequence and first differences together list all positive numbers exactly once