数学代数のロックプロパティ:証明、例 - 数学 - 2025