Text this: A REDUCTION THEOREM FOR RING VARIETIES WHOSE SUBVARIETY LATTICE IS DISTRIBUTIVE.