fix proof of 11.2.4, close #372