Kompakt tre for Theodor Antonsen