Документальная литератураАпология математики (сборник статей)стр 323
Светлый фон
)) ' y0 y0 '' ¬ 0 ¬ 0 ''''(. A m, n A m x n y. х m, y n.

если A есть (х'' = х'), а подстановка есть x → m, то A(m) есть (m'' = m');

A