Simply proving that HSV↔RGB equations work with HDR RGB values when the V parameter is allowed to exceed 1.0.