Раздел § 2.2. Следствия из аксиом стереометрии