Posteriormente, publicó en 1880 una versión más completa del teorema.