40D Найдите корень уравнения `*`(`^`(`+`(x, `-`(10)), 7)) = 1 

Решение 

`and`(`and`(`*`(`^`(`+`(x, `-`(10)), 7)) = 1 implies `+`(x, `-`(10)) = 1, `+`(x, `-`(10)) = 1 implies `*`(`^`(`+`(x, `-`(10)), 7)) = 1) implies x = 11, x = 11 implies `and`(`*`(`^`(`+`(x, `-`(10)), 7)... 

Ответ 

11