石兵八陣って史実なのか?