Результатом формализации является (4/37)

Результатом формализации является