"j"を上で用いた写像formula_35とする。