式の展開（公式①）