I agree the position is won for white. But the problem stops in the middle of the combination. Either it goes on so to show that the mate in unavoidable, or at least it has to be proven that black is forced (?) to play Ra2+... it is not clear.