• Proof 1
• Proof 1b