<li> F is not finite and the [[Automorphism|automorphism]] group of F has [[Cardinality|cardinality]] strictly greater than the cardinality of F. | <li> F is not finite and the [[Automorphism|automorphism]] group of F has [[Cardinality|cardinality]] strictly greater than the cardinality of F. |