ECS 120 5b:2 proof of non-regularity using closure properties

From David Doty