Category:Named Theorems/Sprague, Roland