代数整数の代数独立性の検証