헤일로 결착 패턴으로 증명