Esta metodología se establece con ayuda de teoremas que resumen lo que es o no es posible llevar a cabo.