If a cos theta + b sin theta = c, prove that a sin theta + b cos theta = ± √(a^2+b^2-c^2)