Пояснение: Утверждение, истинность которого устанавливается путем логического вывода из аксиом или ранее доказанных теорем, называется следствием.