¿Quién inventó la fórmula resolvente?