したがってformula_3はformula_1の全域木である。