Added new proof