The precise rules for alpha-conversion are not completely trivial.
정확한 알파-변환의 규칙은 완전히 사소하지 않다.