theorem Th1: :: TAYLOR_2:1

for x being Real
for n being Nat holds |.(x |^ n).| = |.x.| |^ n