Befogó tétel bizonyítása