theorem Th46: :: PREPOWER:46

for a being Real
for n being Nat
for k being Integer st a > 0 & n >= 1 holds
(n -Root a) #Z k = n -Root (a #Z k)