for k being Integer holds 1 #Z k = 1