wel show us the proof so we can write it then