Matematické Fórum

Ahoj.
Z Hilbertových axiomů incidence mám dokázat: K daným dvěma rovnoběžkám existuje jediná rovina, která je obsahuje.

Je mi jasné, že taková je nejvýše jedna, ale nechápu, proč musí taková vůbec existovat.

Vycházím ze skript na http://polly.phys.msu.ru/~belyaev/geometry.pdf
strana 6, lemma 1.1.7.2 (dole).

Díky.
edit: Je to jasné z definice rovnoběžnosti :D