solved. need to work on the proof later