racionális számok bizonyítása