Kann KI das Distributivgesetz zum Lösen von Gleichungen verwenden?