Grundregel der Logik.
Wenn gilt "aus A folgt B" und "A ist wahr", dann gilt auch "B ist wahr".
Siehe auch:
