编译原理的FOLLOW集一定包含#吗

比如
S`->E
E->E+T
E->T
T->T*F
T->F
T->(E)
F->I
这个文法，FOLLOW( S` )={#}这是书上说的。
可是怎么我推不出来啊，没有一条规则右部包括S`啊。。。
难道是因为FOLLOW集一定包括一个#？