Right Exactness of Tensoring