Gauss–Wantzel theorem