A Mathematical Statement That Two Expressions Are Equal