Update
Go on finish 2.7
Go on from 2.7 Model ii
Go on prove some properties of binomial coefficients