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

теорема об упорядочении מתח
.מָתֵי	OT (ordering theorem); ordering theorem