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