Kompakt tre for Johan Arnt Lervik