Loading paper
Proving the existence of the $n$th root by induction | Tomesphere