  Using the results and techniques of a previous paper where we proved the
quantization of gravity we extend the former result by adding a Yang-Mills
functional and a Higgs term to the Einstein-Hilbert action.
