Định lý nhúng phổ dụng