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