  The arithmetic of the natural numbers can be extended to arithmetic
operations on planar binary trees. This gives rise to a non-commutative
arithmetic theory. In this exposition, we describe this arithmetree, first
defined by Loday, and investigate prime trees.
