Este teorema es un resultado reforzado del teorema de Löwenheim y Skolem, que se puede obtener combinando los otros dos resultados.