[%] 아 ㅅㅂ errata에 실려있었네;;

[익명(125.143)]

errata에 정의(3)에 and z!=x 추가해야한다고 나왔네

시간만 날렸네 ㅅㅂ

[커헠(msca8h)]

ㅇㅇ alpha substitution 은 이름 충돌할 때 적용되는거라 저 조건이 전제임 - return 0;