Si hay que comprobar tesis como las cuatro antes propuestas, hay que llenar entonces varias condiciones: