Modified the hint for a proof