Levin descubrió un teorema que también fue descubierto y probado por Stephen Cook.