3 ms·

a = b c = d a + c = b + d a + c = a + c # replaced b with a and d with c

• pencil 16y ago
  oh ya..that looks like a formal proof!!!!!!!!!