Proved Const_Cone_Iso.