In the algebra course one of the assignments was actually to prove that 2 + 2 = 4.

In a ring with a unit.