그는 증명에 실패한것인가