Category:Named Theorems/Moore, Eliakim