The precise rules for alpha-conversion are not completely trivial.
قوانین دقیق برای تبدیل آلفا کاملاً بی‌اهمیت نیستند.