탈4성이라고 많이 들어봤는데 이번에 제대로 증명한건가?