The first theorem merely says something about the bijective nature of the maps, a maximal in one can be bijectively mapped to a minimal in another so this theorem stands separate.