Abstract
A method which allows a rigorous treatment of the statistical mechanics of a superconductor (Bardeen-Cooper-Schrieffer model) is generalized so as to be applicable to a wider class of many-fermion or many-boson systems.