theorem
  [/ ([\ r /]) \] = [\ r /];
