thus intloc (n + 1) <> intloc 0 by AMI_3:10; :: according to SCMFSA_M:def 2 :: thesis: verum