remove commented old proof of 3.11.4