Derivation of the Brueckner many-body theory | Synapse