Cohen-Kung Theorem

Guarantees that the trajectory of Langton's Ant is unbounded.