The first theorem is proven by a similar if more indirect route in Gut, Allan (2005).
Το πρώτο θεώρημα αποδεικνύεται με παρόμοιο αν και πιο έμεσο τρόπο στο Gut, Allan (2005).