ICSP: z założenia : a > 3b wynika że a − 3b > 0
zatem nasza teza może przyjąć postać :
| a−b | | a − 3b | |
| − 1 > 0 ⇒ |
| > 0 |
| 2b | | 2b | |
Za założenia b > 0 mianownik dodatni. Z założenia a−3b > 0 licznik dodatni tak więc skoro
licznik i mianownik są dodatnie to i cały ułamek jest dodatni c.k.d.