Proof of Quadratic Ideal Factorization from Artin's Book