# Pastebin RJIInoLN
module _ {F : Set} (f : Field F) where
  open Field f
  2-77 :  ∀ (a b : F) -> (- a) · b ≡ - (a · b)
  2-77 f a b = {!!}