結果 : formula of module