と展開されることを示すものである。