정의하고 증명하고 이거 반복이었음