Prove the following statement by using direct proof. For all integers x, y, z. if xly and xlz, then xli: - y) and x[(y + x).