Wir betrachten die Dreiecksabschätzung für p + q {\displaystyle {}p+q} . Es ist
da ja p + q {\displaystyle {}p+q} kein Vielfaches von p {\displaystyle {}p} (und auch nicht von q {\displaystyle {}q} ) ist. Ferner ist
und
Somit ist