chain conclusion

Мат. цепное заключение