1987年まで、標数0の体に対して知られている唯一の証明方法は複素解析とgagaの比較定理に基づいていた。