ここで集合formula_21とformula_22はチューリング同値である(formula_23は対関数)。