gausss root theorem