Định lý Kneser (phương trình vi phân)