Kompakt tre for Edvard Johan Christian Jenssen