7.3.1 Umformen von Termen