Both proofs may be correct, and the problem may indeed be solved. My point is that it should not be assumed.