Correct. If then so , so and therefore