  We find by applying MacMahon's partition analysis that all magic squares of
order three, up to rotations and reflections, are of two types, each generated
by three basis elements. A combinatorial proof of this fact is given.
