eq3iv.out z ; x + z ; y = z ; y ]]> x + y ^ = y ^ ]]> (p ; x) ^ + (p ; x ; p) ^ = (p ; x) ^)) ]]>