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

method to derive invariants מתח
.תִכנו	метод конструирования инвариантов (ssn)