If labour productivity in the cement industry is increasing as output of cement is expanded, then the amount of labour per unit of output produced must be?