for a being Real
for k being Integer holds (1 / a) #Z k = 1 / (a #Z k)