Kompakt tre for Johan Christian Lorentzen