Provable Compositional Generalization for Object-Centric Learning