A formal identity involving commuting triples of permutations

We prove a formal power series identity, relating the arithmetic sum-of-divisors function to commuting triples of permutations. This establishes a conjecture of Franklin T. Adams-Watters.