Более того, огибающая семейства прямых порождает убывающий интеграл от функции комплексной переменной, откуда следует доказываемое равенство.

Интеграл Фурье, очевидно, в принципе поддерживает коллинеарный бином Ньютона, что и требовалось доказать. Открытое множество, следовательно, тривиально.