The cancellation theorem for projective modules over irrational rotation C*-algebras