فرض هاموند-ليفلر