thus [c,d] is Object of [:C,D:] ; :: thesis: verum