Об эквивалентности металинейных унарных рекурсивных программстатья