Question: Show the closure under difference for regular languages but the proof was non-constructive.
Give a constructive argument for this result, subsequent the approach used in the argument for intersection in Theorem 41.
Provide answer in detail: no word count.