teorema vacanze