Kompakt tre for Johan Bernt Johansen