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

pure variable proof מתח
.מָתֵי	доказательство с чистыми переменными