A tételhez tartozó fájlok

A bizonyítás szabályainak változása