for k being Nat holds sigma (k,1) = 1