Verifizierung

Der Beweis wird auf Korrektheit geprüft:

• Ist U' Teilmenge von U
• Ist B > Summe(s(u'))
• Ist K < Summe(v(u'))