More new proof