오오카이
증명 가능하냐?