8.3: Prove It!