_ называют такое предложение (теорему), которое не имеет важного самостоятельного значения, но используется при доказательстве других теорем

Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota Оформи подписку