thus [f,g] is Morphism of [:C,D:] ; :: thesis: verum