Ziehe mit der gedrückten Maustaste die Terme von der rechten Seite zu den entsprechenden äquivalenten Termen auf der linken Seite. Nimm dir einen Zettel zur Hilfe um Termumformungen durchzuführen. Wenn du fertig bist überprüfe deine Ergebnisse mit dem Button "Prüfen".