added todo
added first part of fourth proof