Field/2 not 0/Product with squares/Explicit/Exercise

Let be a field with . Show that for the relation

holds.