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