Twierdzenie Dieudonnégo–Grothendiecka