El grupo formula_3 es el más grande y el más complicado de estos casos excepcionales y frecuentemente el último caso de la demostración de varios teoremas.