Wenn ich " B ⊂ A A ist regulär ⇒ B ist regulär " mit Beweis durch Kontraposition zeigen möchte, sollte ich "A ⊂ B B nicht reg ⇒ A nicht reg" oder " B ⊂ A B nicht reg ⇒ A nicht reg" zeigen?
