3 years agoField extension application: Constructible number and Gauss Wantzel theorem proofericntunctu