Las herramientas importantes (como teoremas fundamentales) para el cálculo de invariantes de esta teoría son: