Tras un periodo revisando las distintas licencias del movimiento Free Software (Software Libre) así como Open Source (Código o Fuente abierta), he llegado al a la siguiente conclusión la cual anuncio en forma de teorema:
Toda licencia Free Software es a su vez Open Source, pero toda licencia Open Source no es Free Software por lo que se deduce que toda aplicación Free Software es también Open Source, pero no toda aplicación Open Source es a su vez Free Software.
De aquí, podemos afirmar que una aplicación o licencia es Free Software si y solo si es también Open Source, no siendo así a la inversa.
Ahora solo queda ver si este teorema realmente se cumple y realizar las pertinentes formulas matemáticas :o)
Entonces: El último corolario no debería ser «implica (=>)» en vez de «si y solo si ()», porque este ultimo es para ambos lados.
Aplicación o licencia Free Software => Open Source. Open Source no => Aplicación o licencia Free Soft.
Te felicito por tu blog.