Displaying similar documents to “Application of base tree theorem”