theorem :: MYCIELSK:34

for n being non zero Nat holds stability# (CompleteRelStr n) = 1