This page is currently under construction. Please check out my proofs here.