cleared useless hypothesis and cleaned up the proof