El teorema para funciones "C" fue publicado en 1954, el teorema para funciones "C" en 1956, y el caso para funciones analíticas en 1966 por John Forbes Nash.