Theorem: Poland1998P4.lemma6' (Compfiles/Poland1998P4.lean)

State before:
n : ℕ
⊢ (4 * (n - 1) + 1 + 4) / 2 = 2 * (n - 1) + 1 + 1
Tactic:
omega
State after:
no goals