転位内歯車の計算式と検証