for s being natural Number st s >= 1 holds
0 |^ s = 0