theorem Th15:
  i in Seg n implies DigA(a,i) is Element of k-SD
proof
  assume
A1: i in Seg n;
  then a.i = DigA(a,i) by Def3;
  hence thesis by A1,Th14;
end;
