By the meaning of restriction, restricting from to and then again from to is equivalent to directly restricting from to . We have that on restricts to on , which in turn restricts to an automorphism of . Thus, the restriction of directly to must also be the same automorphism.