Zdroj TeX:

(\alpha= \beta ) \Rightarrow ((\exists a,b \subset \alpha)\wedge ( \exists a'=a,b'=b)) \Rightarrow a\parallel \beta \wedge b\parallel \beta