Finally the proof...