Definíciók, tételek, bizonyítások