Prove the following statement is true using Big-Step Semantics.

if (x < y) then z := x else z:= y{x = 2, y = 2} arrow down {x = 2, y = 2, z = 2}