પુરાવો છે કે હેતુ સેટ છે