This reasoning is correct but still has to assume that both indices are non negative, which is reasonable.