ty_betaT, ty_inv_tabs の証明を追加した。