It means, "Knowing points 4 and 5 to be true, we can say this other thing."