>>654

Munshiによるものです。
尤も、彼の証明は（例えば）Singular theoryでEilenberg−Zilberを証明するような記号の悪夢だったので
その後色々な人が改良版を提唱していますね。