Theorem

The set of rational functions forms a Field.