for L being comRing
for i, j being Nat
for p being Polynomial of L holds (p `^ i) *' (p `^ j) = p `^ (i + j)