Heath's theorem

Redirect to:

• Functional dependency#Heath's theorem