Zdroj TeX:

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