귀류법으로 보지가 없다고 가정하고 어쩌고 하다가 실패하면 직접증명으로 보지 보여준다는데 레알이냐