  We prove that a variety of algebras whose finitely generated members are free
must be definitionally equivalent to the variety of sets, the variety of
pointed sets, a variety of vector spaces over a division ring, or a variety of
affine vector spaces over a division ring.
