Show that cos(-pi/3) = cos(pi/3)