Much of the work of proving these theorems was devoted to the analysis of numerous special cases.
Gran parte do labor de probar estes teoremas dedicouse á análise de numerosos casos especiais.