the proof flat by ec proof