Stelling insluiting

Introductie: Een ongelijkheid in combinatie met een absolute waarde kan vervangen worden door een uitdrukking zonder absolute waarde.

Stelling: Voor iedere c0 en x geldt het volgende:
|x|ccxc.

Uiteraard geldt ook dat |x|<c dan en slechts dan als c<x<c voor iedere c>0 en x.