Proof for inorder . heap = id
Fix some typos