rebase は必ず別のコミットを作る

コミットオブジェクトの直列化 $\sigma$ は、木の ID、親の ID の並び、作者情報、コミッター情報、メッセージから定まるとし、$H$ は考えている範囲の直列化の集合上で単射であるとする（定理 3.3 と同じ仮定）。コミット $c$ の親の並びを $(p_1, \ldots, p_k)$ から $(p'_1, \ldots, p'_l)$ に取り替え、他の情報はすべて同じにして作ったコミットを $c'$ とする。もし $k \neq l$ であるか、またはある $j$ で $h(p_j) \neq h(p'_j)$ であるならば、$h(c) \neq h(c')$ である。