Как доказать следствия из аксиом стереометрии: примеры и решения