대수학 대수적 조작 등으로 증명됨.