Why This Is True — Proof by Invariant - Inorder Traversal & Sorted Output | OneNoughtOne