 The entire functions on the complex plane form an integral domain (in fact a Prüfer domain).They also form a commutative unital associative algebra over the complex numbers.Liouville's theorem states that any bounded entire function must be constant.