海涅，德国数学家他独立发现了海涅定理，还提出著名的“有限覆盖定理”