従って、一般の位置にある線型同値因子を見つけることができることを保障する「周の移動補題()」を使うことにより、交点を持つと解釈できるので、任意の因子にたいする交点数を定義することができる。