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