In Section 7.4 we claimed that the display could be maintained correctly if each procedure at depth i stored d Ii] at the beginning of an activation and restored dli I at the end. Prove by induction on the number of calls that each procedure sees a correct display.