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