structured proof of hypothesis 1, added draft proof of hypothesis 2