The University of Edinburgh - MATH08072: Exercise 7 - Cancellation law of fields