take CMap (kappa R) ; :: thesis: CMap (kappa R) is co-RIF-like
thus CMap (kappa R) is co-RIF-like ; :: thesis: verum