✓ ✓  
Jede Erklärung eines Zeichens kann für das Zeichen (an seiner Statt) substituiert werden.