Otra formulación más débil pero más elegante es: