정의정리증명에 과제문제만 풀면되냐