Después de confirmar la hipótesis podemos ya diseñar un teorema.