:: deftheorem defines fsloc SCMFSA_2:def 7 :
for k being Nat holds fsloc k = - (k + 1);