A full proof of necessity was given by Pierre Wantzel in 1837.
Täydellisen todistuksen esitti Pierre Wantzel vuonna 1837.