small update in the proof format