Документальная литератураАпология математики (сборник статей)стр 324
Светлый фон
х х x m A m m m

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

A х у x m, y n A m, n m п