shorten proof of 3.11.4, close #520