Cluster decomposition theorem