
theorem
  for C being category, o1,o2 being Object of C st o1 is _zero & o2 is
  _zero holds o1,o2 are_iso
by Th26;
