theorem :: CLASSES5:9

for C being strict Category holds (C opp) opp = C