Kings College London - 4CCM131A: Exercise 6 - Field axioms on negative numbers