linked-cluster theorem