对外做的净功为负值在温度分别为℃和℃的高温热源和低温热源之间工作的热机，理论上的最大效率为（）