All-order existence of and recursion relations for the operator product expansion in Yang-Mills theory