Structural Induction! These proofs can be pretty long, but they are also very clearly structured, so that's nice :)
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
