immediate conclusion

Мат. непосредственный вывод