Algunas de estas propiedades eran ya conocidas y admitidas, pero sin demostración.