How do you verify that the x values pi/3, (5pi)/3 are solutions to 2cosx-1=0?