Twierdzenie o zwartości