A Proof Runs Through It

One basic proof does a lot of the work.  You will see the details clearly laid out.

more (m,aybe)