Ban Zhao
정수환 formula_48에서, formula_49이 반소 아이디얼일 필요충분조건은 formula_17이 제곱 인수가 없는 정수 또는 0인 것이다. 특히, formula_51이 반소 아이디얼이므로 정수환은 반소환이다.