theorem :: PREPOWER:8

for a, b being Complex
for n being natural Number holds (b / a) |^ n = (b |^ n) / (a |^ n)