reconsider D = d as Element of SCM-Data-Loc by AMI_2:def 16;
reconsider S = s as SCM-State by CARD_3:107;
S . D = s . d ;
hence s . d is integer ; :: thesis: verum