Ляпсусы:

    Эта теорема используется вместе со своим именем.

    Это меньше, чем остаток, потому что он без хвоста идет.