the tree theorem, and Vazsonyi's conjecture (1960)

by Well-quasi-ordering
Venue:Transactions of the American Mathematical Society