start at writing proof for tree with symmetric property