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