Theorem: N1 (LeanTeaching/Ex2/3.lean)

State before:
a b c d : ℤ
hyp : c = b * a - d
hyp' : d = a * b
⊢ c = 0
Tactic:
sorry
State after:
no goals