액시온이 아닌이상 내 풀이보다 짧은 풀이가 무조건 존재함