Решение
(9.2.1)
(9.2.2)
![S[0] = `*`(2800, `/`(1, 16))](images/e_7.gif){kind=small}
![S[0] = 175](images/e_8.gif){kind=small}
![`and`(V[1] = `+`(`*`(13, `*`(S[0]))), `+`(`*`(13, `*`(S[0]))) = `*`(175, 13))](images/e_9.gif){kind=small}
![V[1] = `*`(175, 13)](images/e_10.gif){kind=small}
![V[1] = 2275](images/e_11.gif){kind=small}