812. § 22. Наслідки з аксіом стереометрії