How many edges does a tree with 10,000 vertices have?