proved prop showing that T factors F, and the other factor G is exact if F is