dowod mod agnieszka: prosze o pomoc z pokazaniem, ze gdy a>=b zachodzi: (b+(a mod b))<= 2/3 (a+b) [mam relaccje i kongruencje]