英语 ⇄ 俄语 +

a theorem proved in a less complete form 强调
数学	теорема, доказанная в менее полной форме