Text this: The finiteness of the Tate–Shafarevich group over function fields for algebraic tori defined over the base field