Zdroj TeX:

(\exists a' \subset \alpha:\; a' \parallel a) \Rightarrow (a \parallel \alpha )