En el ejemplo, si se impone "F"(2) = 3, entonces forzosamente "k" = 7.