minor changes in proof attempt
minor changes in proof attempt