theorem
  for T being quasi-type of C holds varcl vars T = vars T;
