[1,|.(m + n).|] in SCM-Data-Loc by AMI_2:24;
hence [1,|.(m + n).|] is Int_position by AMI_2:def 16; :: thesis: verum