STL의 map에서 erase 관련 질문입니다.

안녕하세요.

알고리즘을 공부하던 도중에 stl의 map을 사용하다 궁금한 점이 생겨 질문 드립니다.

아래와 같이 map을 선언하였습니다.

map<int,int> TREE;

아래와 같이 TREE에 여러 값을 삽입한 상태에서 (k3,v3)를 가리키는 반복자 it를 가지고 있다고 할때,
(k1 != k2 != k3 != k4 != k5, v1!=v2!=v3!=v4!=v5 입니다.)

TREE.insert(map<int,int>::value_type(k1,v1));
TREE.insert(map<int,int>::value_type(k2,v2));
TREE.insert(map<int,int>::value_type(k3,v3));
TREE.insert(map<int,int>::value_type(k4,v4));
TREE.insert(map<int,int>::value_type(k5,v5));
 
map<int,int>::iterator it=TREE.lower_bound(k3);

다음과 같이 erase연산을 사용하면 반복자 it는 (k2,v2)를 가리키고 있는것이 보장되나요?

map<int,int>::iterator temp=it;
temp--;
TREE.erase(it);
it=temp;

우선 제가 넣어본 테스트케이스로는 올바르게 작동하기는 합니다.
그런데 이전에 red black tree를 구현해 볼 때, 값이 삭제되는 경우 모양이 많이 바뀌는 것을 본적이 있습니다.
그래서 트리가 red black tree의 규칙에 의해 재구성 되면서 it의 값이 쓰레기값이 되지 않는지 궁금합니다.

답변 기다립니다.