これ以降は商品として売られていた石。
韓国の慶尚南道の紫水晶。