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

prove a theorem by exhaustion v מתח
	доказывать теорему перебором