consider o being object of ;
consider m being Morphism of ,;
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