theorem
  0 in dom stop I by AFINSQ_1:66;
