STATUS: PROJECT COMPLETE (proofs below)