Tait-Kneser theorem