하G만 어떡해 증명해 보2는게 더 낳을지 아직 결정을 못내린 상태기계입니다.