단군 설화에는 제석환인(帝釋桓因)의 아들 환웅이 땅으로 내려와 곰과 혼인하고 단군을 낳았다고 되어 있다.
이 제석환인은 원래 어디에 나오는 신인가?