commute.add_pow
A version of the binomial theorem for noncommutative semirings.
add_pow
The binomial theorem