Kompakt træ for Jørgen Jørgensen Skolem