Theorem

Where:

  • is the remainder satisfying