ㄷ보기의 참거짓을 판별할 때, ㄷ보기의 대우명제가 거짓임을 밝히면 자연스럽게 ㄷ도 거짓인 게 밝혀지니, an=n이 아니라면, a1=0이다 라는 명제의 참거짓을 판별해서 풀어도 되는건가요?