8.3. Proof