Odd order theorem