sentence: Sei ein beliebiger Ausdruck, so kann ein in ihm enthaltener Teilausdruck durch eine neue Variable ersetzt (substituiert) werden.
modified: fix grammar: Sei der beliebiger Ausdruck so kann das in ihm enthaltener Teilausdruck durch die neue Variable ersetzt substituiert werden