式変形の詳細を示した。