Prove: If G is a tree than vertices of G can be numbered v1,v2....,vn in such a way that $(\forall i>1)|{vk:vkvi \in E(G)\land}k
So my idea is to do it by PHP (Pigeonhole principle):
v is number of vertices
e- number of edges
e=v-1 by definition.
so |e|<|v| than by PHP it's true
Is it a good idea?