Every free group is fat.
任何自由群都是fat。