мендельсон, мат. логика

[geoffrey]

Подскажите, пожалуйста, как подойти к решение задания 2 на стр. 89 (мендельсон введение в мат. логику). Исходя из данных аксиом и опираясь на предложение 2.26, мне надо доказать подстановочность для предиката порядка, а именно $x<z\to$ ($x<y\wedge$ $y<z$) или вообще что-то другое?

[geoffrey]

может есть какие-то догадки?