이거 만족하는 함수가 이차함수밖에 없다는 걸 수2 수준으로 증명할 수 있나요?