[一]
陇山之关也,今名大震关,在今陇州 源县西也.