theorem :: NECKLACE:15

for n being Nat holds n -SuccRelStr is asymmetric