Removing proof for future rewrite. Proof was too convoluted.