Proof
Evaluate the interactive cell below to let Sage do the heavy lifting.
in-context