formula_37を原点とし、次の3つの単位ベクトルformula_122、formula_123、formula_124で張られる座標系とする。