proof idea markovian property of aggregated states

show that the transition between states correspond to transitions in the original bcmp. if aggregated were non-markovian, so would be the bcmp. this is a contradiction. so aggregate states are markovian. qed.