기존 2.5프로가 접근조차못하던 문제를 증명까지해서 풀어냈다는게