for s being natural Number holds 1 |^ s = 1