Where can I find the formal way of this formula?

Printable View