in der Substitutionsthoorie und der Algebra.