odd order theorem