
theorem
  for C being strict FormalContext holds (C.:).: = C;
