Branch links a theorem to the field of mathematics it belongs to. Wikipedia opens its account of Fermat's Last Theorem with "in number theory, Fermat's Last Theorem... states that there are no positive integers a, b, c, n with n greater than 2" satisfying the equation, naming its branch in the very first words. This dimension groups theorems that belong to the same branch of mathematics.