PHP の前のレッスンで二重投稿を避けるために header() を使って処理するファイルと、表示するファイルを分けていたと思うのですが、
このレッスンの header() はどのような意図があるのですか？