A Statement That Two Equations Are Equal