Jeder Term \(T\) ist äquivalent zu \(1\cdot T\).
Wenn du in einem Term \(T\) einen Teilterm durch einen zum Teilterm äquivalenten Term ersetzt, dann bekommt du einen zu \(T\) äquivalenten Term.
Ist vor diese tx eine unsichtbar 1 davor also 1t*1x oder 1*t*x?
\(x\) ist Teilterm von \(tx\).
\(x\) ist äquivalent zu \(1x\).
Also ist \(tx\) äquivalent zu \(t\cdot 1x\).