The existence of nth roots - exercises

Work in progress. Please return here later.