Compacte boom van Theodorus Hendrikus Pruijn