Terms containing it remains to verify

Subject	English	Russian
math.	it remains to verify	что является лёгким вычислением (which is an easy computation; 3.1)
math.	it remains to verify that	остаётся проверить