Existence theorems for hairy black holes in su(N) Einstein–Yang–Mills theories