如果引理16是B唯一被使用到的地方，而且引理15是B唯一被检验的地方，那么最好就把两个引理合在一起变成
If Lemma 16 is the only place where B is used, and Lemma 15 is the only place where B is verified, then it can be better to unify these two lemmas as
专家们表示，迄今为止，最好的预防方式就是加强使用传统的蚊虫控制方式，通过喷洒防虫剂、穿长袖衣服，降低被蚊子叮咬的风险。
So for now, experts say, the best modes of prevention are to intensify use of the older methods of mosquito control and to lower the risk of being bitten using repellents and by wearing long sleeves.
想要避免被木马病毒植入，平时最好不要点开一些奇怪的弹窗或下载链接，不使用公用WIFI来进行手机支付等行为。
To avoid being implanted Trojan, it is best not to open some strange popups or download link to mobile phone payment behavior without the use of public WIFI.
在一情况喜欢这，最好的方式是去掉多余的功能性和尽可能使用现有的功能性，或者扩充后者以便它能被用于新的前后关系中。
In a case like this, the best approach is to remove the redundant functionality and use existing functionality where possible, or to extend the latter so that it can be used in new contexts.
另外，如果你想让你的游戏角色被物理效果影响，那就最好使用刚体而不是角色控制器。
On the other hand, if you want your player character to be affected by physics then you might be better off using a Rigidbody instead of the character Controller.
通常，最好在一个被高度影响的地方扎营，这样，小心的使用营地不会造成更大易见的影响。
Generally, it is best to camp on sites that are so highly impacted that further careful use will cause no noticeable impact.
有不同的方法来进行输入几十个，和最好的一个选择几乎完全依赖于输入来自哪里，以及它将如何被使用。
There are dozens of different ways to sanitize input, and the best one to choose depends almost entirely on where the input comes from, and how it will be used.
或许，表明电脑及因特网使用促进人们对于纸张的需求的最好迹象源于高科技产业本身，印刷业被认为是高科技产业极有前景的新市场之一。
Perhaps the best sign of how computer and Internet use pushes up demand for paper comes from the high-tech industry itself, which sees printing as one of its most promising new market.
在脚本中最好是小心地使用闭包，内存和运行速度都值得被关注。
It's best to exercise caution when using closures in your scripts, as they have both memory and execution speed concerns.
股东派生诉讼约束机制是摒弃股东派生诉讼被不正当使用或滥用的最好方法。
Restraint mechanism of shareholder derivative action is the best way to reject to inadequate to Sue or to abuse of the right.
或许，表明电脑及因特网使用促进人们对于纸张的需求的最好迹象源于高科技产业本身，印刷业被认为是高科技产业极有前景的新市场之一。
Perhaps the best sign of how computer and Internet use pushes up demand for paper comes from the high-tech industry itself, which sees printing as one of its most promising new market. NMET2003.
鉴于这些炭窑短暂的使用时间和建造质量，它们被认为是美国西部同类炭窑中保存最好的样本之一。
Due to their short usage time and quality construction, they are considered among the best surviving examples of such kilns in the western United States.
E篇或许，表明电脑及因特网使用促进人们对于纸张的需求的最好迹象源于高科技产业本身，印刷业被认为是高科技产业极有前景的新市场之一。
Perhaps the best sign of how computer and Internet use pushes up demand for paper comes from the high-tech industry itself, which sees printing as one of its most promising new market. NMET2003.
调制最好被完成通过使用天线分析仪附有将使用与天线的远端同轴电缆。
Tuning is best accomplished by using an antenna analyzer attached to the far end of the coaxial cable that will be used with the antenna.
把这个类当做一个指南例程，但就像最开始所推荐的那样，最好的方式是在AssetBundle被使用后马上小会。
Use this class as a guide but as recommended initially it is best if you unload AssetBundles right after they have been used.
但是你最好快一点，因为死去的大脑只能在死亡十二小时以内被使用。
But you got act fast because there's only a 12-hour window on deceased brains.
但是你最好快一点，因为死去的大脑只能在死亡十二小时以内被使用。
But you got act fast because there's only a 12-hour window on deceased brains.
应用推荐