正如形训所求得的（ ）必须在语言中确曾使用过一样，核证于古代文献也是（ ）的必要步骤。