Итераторная арифметика

В С++ STL, если у меня есть итератор itв векторе v, гарантированно ли it - v.begin()даст мне индекс в векторе, так что *it == v[it - v.begin()]? Если да, то верно ли это для всех итераторов произвольного доступа?