אנגלית ⇄ רוסית +

abstractly proven מתח
Gruzovik	абстрактно доказанный