Well, if they do know each other's partitions and are computationally unbounded, then they would reach agreement after one step, wouldn't they? (or did I misunderstand the theorem?)

Or do you mean If they don't know each other's partitions, iterative exchange of updated probabilities effectively transmits the needed information?