결과로 증명됨