وابستگي تابعي بديهي (نامهم)