for k being Integer holds k in SCM-Data-Loc \/ INT