零函数はコーシーの四つの函数方程式:formula_7