Massless Sine-Gordon and massive Thirring models: Proof of Coleman's equivalence