오대산에는 문수보살이 있다