Todo conjunto inductivo no vacío tiene elemento maximal