Eliminated warnings from Proof 1 appendix.