for n being Nat holds n -SuccRelStr is asymmetric