Bizonyítsuk be, hogy ha egy valódi törtből levonjuk a legnagyobb törzstörtet, mely még nem nagyobb nála, akkor a különbség írható olyan alakban, melyben számlálója kisebb az adott tört számlálójánál.