Rechnerischer Nachweis von Symmetrie einer ganzrationalen Funktion