Okay, I understand it now. Thanks, NonCommAlg
But, I realized that you have picked an instance of a partition in this case, which is P={a,b}. But in the proof we have to show that for any partition interval. Shouldn't we have to assume for any partition P?