ty_inv_abs' の証明ができた。