檀君が初めて文献に登場したのが13世紀なのよね