Kompakt tre for Sivertson