工作时间*工作效率=工作总量,当工作总量一定时,( )和( )成()比例