changed bmatrix and revised proof of prop 1.1.1
Merge branch 'S'