The Busy Beaver Problem.

The Beer Glass Theorem.

The Garden of Eden Theorem.

The Byzantine Generals Problem.