반례가 없음.