Definition:Prufer Sequence