Kompaktheitssatz