The equations of motion for the general many-time causal Green's functions for a fermion system are iterated and are shown not to lead to unlinked graphs, which is a general proof of the linked cluster theorem. An explicit expression is obtained for the perturbation expansion of an arbitrary Green's functions which is applied to the one- and two-particle Green's functions. By connecting lines systematically in a set of diagrams obtained from the equations of motion, the usual topologically different linked graphs and rules are generated.
The ground-state energy of nuclear matter is expanded in such a way that each term of the expansion is characterized by the number of hole lines. This procedure reverses the usual sequence of steps, which consists in the use of the linked-cluster theorem, the introduction of
G matrices, and the partial summation of
G-matrix diagrams leading to the hole-line expansion. In this way, we find an algebraic method which yields automatically all diagrams with a fixed number of independent hole lines. As a by-product, a new proof for the linked-cluster theorem is obtained. We have applied the method to diagrams with four independent hole lines and find complete agreement with results published previously by B. D. Day.