theorem
  H.1 = 4 implies H is universal by Th23;
