Twierdzenie Diestela-Faires