The rest of the proof is missing.