Gauss-Wantzel theorem