One-loop divergences of the Einstein-Yang-Mills system | Synapse