consider o2 being object of C2, m being Morphism of o2,o2;
take C1 --> m ; :: thesis: ( C1 --> m is feasible & C1 --> m is reflexive )
thus ( C1 --> m is feasible & C1 --> m is reflexive ) ; :: thesis: verum