Proper part of the proof done :)