Se puede demostrar que para una función de "n" variables el límite superior del número de implicantes primos es 3/"n".