Revision of Proof 1-3 from Thu, 02/16/2017 - 11:08