Statement: A commutative Noetherian ring is distributive if and only if it is a finite product of Dedekind domains and Artinian principal ideal rings.

Link: None