take ClMap T ; :: thesis: ClMap T is closed-valued
thus ClMap T is closed-valued ; :: thesis: verum