Hogy tudnám rábírni a szaktársamat, hogy belássa ezt matematikailag, és ne legyen hülyeség neki? [lényeges lenne, mert nagyon idétlenül hat]

Van egy rendes szaktársam, jó vele beszélgetni, nagyon rendes, van, amit Őneki sikerült elmagyaráznia, meg amúgy van, amihez nagyon ért, széleskörű tudása van.

De van egy matematikai bökkenő nála, magyarán olyasmit tekint Ő anomáliának a matematikában, amit a vak is lát, hogy úgy van, és nem vagyok képtelen felfogni, hogy miért van ezen kiakadva, és miért hiszi azt, hogy ezzel probléma van. Annak ellenére, hogy tényleg rendes velem, ez már zavaró nekem, de olyan egyszerű a dolog - amit Ő anomáliának hisz -, hogy szemléltetni se tudom neki.

Konkrétan : Az neki a baja, hogy hogy lehet az, hogy egy számnak a maradékos osztása önmaga. Magyarán amit nem fog fel, hogy lehetséges:

x,y C N+ ; x<y ==> x mod y = x

Ráadásul - bár ebbe már inkább bele se merek gondolni -, lehet, hogy annyira rá van szálva a dologra, hogy otthon ezen cseszi el az idejét, hogy ennek mentén próbál ellentmondást keresni a matematikában.

Tényleg nem tudom, hogy szegénynek milyen logika lett huzalozva a fejében, mert ráadásul azért nagyjából vágja a matekot, és amúgy szvsz. oda van érte.

De most egy olyan nyílvánvaló dolgon van kiakadva, amit szerintem muszáj lesz beláttatni vele, különben még a végén nagyon csúnyán fel fog sülni (pl.: ha tényleg ez alapján elkezd ellentmondásokat keresni a matematikában, ami eleve egy veszett ügy).

Szóval arra kéne egy nagyon frappáns ÉS MARADÉKTALAN (minél nagyobb matekos precizitással felírva, ahogy csak lehet) bizonyítás, hogy egy szám egy nála nagyobb számmal való maradékos osztása magát a számot (az osztandót) adja.

Előre is köszönöm!