Comment by antiform

Why is this completely necessary? What would be an acceptable proof to you of this statement?