By the above paragraph, one can show that any constructible point can be obtained by such a sequence of extensions.
Згідно з попереднім абзацом, можна показати, що будь-яка точка може бути отримана такою послідовністю розширень.