x는 정수임