Attempting to fix erroneous proof of preservation of Z0