Twierdzenie Diniego