This result is strengthened slightly in the following part of the theorem.
Αυτό το αποτέλεσμα ισχυροποιείται ελαφρώς στο επόμενο μέρος του θεωρήματος.