Field/Seven elements/Introduction/Example

On the set (with seven elements), one can define a field structure using




Without any further theory, it is very tedious to so show that this is indeed a field.