Heath's theorem
Redirect to:
Functional dependency#Heath's theorem