5.18보다 6.25가 헌법 수록 먼저 아닌가?