fgetsの説明を見るとファイル終了でNULLを返すとありましたが、
NULが返ってきた後にまたfgetsを読んでも
すべてNULLが返ってくるとしていいんですか？