theorem
  InitSegm({}(A),a) = {};
