added new part of proof
Merge branch 'master' of https://github.com/MaCaki/thesis_research
 updated proof '