theorem :: CLASSES5:55

for o, m being object holds the Comp of (1Cat (o,m)) = {[[m,m],m]}