gausss polynomial theorem