A nonterminating ideal either returns infinitely often or eventually exits through a bad cell;

Initializing...

A nonterminating ideal either returns infinitely often or eventually exits through a bad cell; · Prove2Me