The numbers a and b are such that the first equation of the system cosx=ax+bsinx+a=0 has exactly two solutions. Prove that the system has at least one solution.