英语 ⇄ 俄语 +

mathematical formulation of completion time theorem 强调
编程	строгая формулировка теоремы о времени завершения (ssn)