The elementary school definition of "prime numbers" is really the definition of "irreducible element of a ring" but they are equivalent because $\mathbb{Z}$ is a PID.

The infinitude of prime numbers is a finicky example, as there's one proof that can be explained to elementary school students, one that can be explained to college students, and the rest are hard.