Kompakt tre for Erichson