Validierung

Die Eingabegrössen werden auf Korrektheit geprüft:

• Ist das PCP nicht leer
• Ist die Folge nicht leer
• Sind die Elemente der Folge im PCP enthalten