F가 finite일때