gitt:
Vi kan skrive ulikheten:
Trekke fra 7 fra begge sider:
På grunn av den delvise definisjonen av absoluttverdiefunksjonen,
Multipliser begge sider av den første ulikheten med -1:
Legg til 1 på begge sider av begge ulikhetene:
Del begge sider av begge ulikheter med 2:
Dette kan skrives som:
For å sjekke, vil jeg bekrefte at sluttpunktene er lik 16:
Begge sjekk.