Kompakt tre for Johan Edvard Johansen