new proof 1