Example

The fundamental theorem of algebra says that every polynomial in C[X] has a zero. Equivalently: every polynomial in C[X] is a product of linear factors.

We shall not prove this fact. One reason is that it is hard, another that we have given no rigorous treatment of C anyway.