助命的日文

• 以上のことにより，補題３．１を用いて定理が証明される．
  综上所述，利用辅助命题３．１，定理得到了证明。
• ．つぎに，最高入札値の設定値に関する補題を証明する．
  接下来证明和最高投标价的设定值有关的辅助命题。
• 補題１式（１）が満たされるとき，タスクτｉのｋ番目のフレームがスケジュール可能である．
  辅助命题１符合公式（１）时，作用τｉ的第ｋ个构架是可以计划的。
• 補題２タスクτｉのｋ番目のフレームがスケジュール可能であれば，式（３）を満たす．
  辅助命题２任务τｉ的第ｋ个构架如果是计划可能的，那么符合公式（３）。
• 補題１充足可能なＩＶ―ＭＧＴＰプログラムＰにおけるＩＶ―ＭＧＴＰ解釈をＩとする．
  辅助命题１可补充的ＩＶ―ＭＧＴＰ程序Ｐ中的ＩＶ―ＭＧＴＰ解释设为Ｉ。
• 一方，普通の買手にとっても，補題４が成り立つ．
  不过对于普通买家来说，辅助命题４也是成立的。
• ＩＶ―ＭＧＴＰ解釈とＩＶ―ＭＧＴＰ拡張解釈の関係は，次の補題によって示される．
  ＩＶ―ＭＧＴＰ解释和ＩＶ―ＭＧＴＰ扩展解释的关系，通过下列辅助命题说明。
• ＜Ｓｅｎｔ＞．以上の補題を用いて，命題６を証明する．
  使用以上辅助命题，来证明命题６。
• 証明：補題より，モデル候補Ｍの更新列＠ｅｑｕａｔｉｏｎ＿０＠を構成することができる．
  证明：根据辅助命题，可以构成候补模型Ｍ的更新列＠ｅｑｕａｔｉｏｎ＿０＠。
• この命題を証明するため，３つの補題を考える．
  为了证明这个命题，要考虑３个辅助命题。