Define polynomials over a unital, associative algebra
Remove a duplicated proof