MR-197. példa
Helyettesítse az x3 kifejezést t-vel.