The following website:/xspd/xsbk/200408/815.html.

As for the concept of theorem: there is one in the book.

It is good to sort out these formulas centrally.