Följande satser ska dessutom kunna bevisas:
Sats 13, S 277: Entydighetssatsen för Taylorpolynom.
Sats 1b,d, S 291: Formler för summor.
Sats 4, S 308: Medelvärdessatsen för integraler.
Sats 5, S 311: Analysens fundamentalsats.
Sats 3, S 365: Jämförelsesatsen för generaliserade integraler.
Sats 4, S 507: limn→∞ an=0 om Σan konvergerar.
Sats 8, S 510: Integralkriteriet.
Sats 13, S 520: En absolut konvergent serie är konvergent.
Sats 17, S 527: Påståendet i bevisets första stycke: Om en potensserie konvergerar för x0≠ c, så konvergerar serien absolut för alla x närmare c.
Sats 1 och 2, S 939: Om lösningar för linjära differentialekvationer.