[proof_illustration.png]