New version of the cut elimination proof