式の展開（公式①～④）