Cada uno de los autores citados parecen asumir como la verdad de un cierre de la tesis M, que denominaremos tesis S, cuyo enunciado se muestra a continuación: