8. Some proofs about data structures