Rational Numbers form Ring

Theorem
The set of rational numbers $$\Q$$ forms a ring under addition and multiplication: $$\left({\Q, +, \times}\right)$$.