x1,x2,x3,••• 이런 값들이 무수히 많은데 이게 y의 정수배인걸 어캐알아냄? 수식으로 알아낼 수 있음? 걍 노가다 하다가 하나 얻어걸리는거 아닌가