公式の展開など不要