theorem :: FSM_2:10

for I being non empty set
for S being non empty FSM over I holds the InitS of S is accessible